Language-independent specification